sum[n=1, inf] of cos(k)/(k^2+1)"